More from this Author

Higher-Order Algebra, Logic, and Term Rewriting

by Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor), Tobias Nipkow (Editor)

Higher Order Algebra, Logic, and Term Rewritting

by International Workshop on Higher-Order Algebra, Lo, Jan Heering (Editor)